Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
Пошуковий запит: (<.>A=Варцаба О$<.>) |
Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9
|
1. |
Мич І. А. Досконалі диз'юнктивні нормальні форми алгебри U2 [Електронний ресурс] / І. А. Мич, В. В. Ніколенко, О. В. Варцаба // Науковий вісник Ужгородського університету. Серія : Математика і інформатика. - 2018. - Вип. 1. - С. 124-129. - Режим доступу: http://nbuv.gov.ua/UJRN/Nvuumat_2018_1_16
| 2. |
Варцаба О. В. Сигнатурна решiтка одного класу алгебр [Електронний ресурс] / О. В. Варцаба, I. А. Мич, В. В. Нiколенко // Науковий вісник Ужгородського університету. Серія : Математика і інформатика. - 2018. - Вип. 2. - С. 41-44. - Режим доступу: http://nbuv.gov.ua/UJRN/Nvuumat_2018_2_8
| 3. |
Варцаба О. В. Еквацiональнi дослiдження нульарних алгебр, алгебр булевого кубу та кубу Жегалкiна [Електронний ресурс] / О. В. Варцаба, I. А. Мич, В. В. Нiколенко, В. С. Динис // Науковий вісник Ужгородського університету. Серія : Математика і інформатика. - 2020. - Вип. 2. - С. 142-149. - Режим доступу: http://nbuv.gov.ua/UJRN/Nvuumat_2020_2_17
| 4. |
Мич I. А. Дослiдження сигнатурного кубу унiверсальних булевих алгебр [Електронний ресурс] / I. А. Мич, В. В. Нiколенко, О. В. Варцаба // Науковий вісник Ужгородського університету. Серія : Математика і інформатика. - 2020. - Вип. 2. - С. 157-167. - Режим доступу: http://nbuv.gov.ua/UJRN/Nvuumat_2020_2_19
| 5. |
Мич I. А. Структура сигнатурного кубу булевих алгебр [Електронний ресурс] / I. А. Мич, В. В. Нiколенко, О. В. Варцаба // Науковий вісник Ужгородського університету. Серія : Математика і інформатика. - 2021. - Вип. 38, № 1. - С. 149-156. - Режим доступу: http://nbuv.gov.ua/UJRN/Nvuumat_2021_38_1_18
| 6. |
Мич I. А. Базисна еквiвалентнiсть у класi унiверсальних булевих алгебр [Електронний ресурс] / I. А. Мич, В. В. Нiколенко, О. В. Варцаба // Науковий вісник Ужгородського університету. Серія : Математика і інформатика. - 2021. - Т. 39, № 2. - С. 152-157. - Режим доступу: http://nbuv.gov.ua/UJRN/Nvuumat_2021_39_2_16
| 7. |
Мич І. А. Алгоритм побудови базисної решітки класу M₂ булевих алгебр [Електронний ресурс] / І. А. Мич, В. В. Ніколенко, О. В. Варцаба, В. С. Динис // Науковий вісник Ужгородського університету. Серія : Математика і інформатика. - 2022. - Т. 40, № 1. - С. 195-204. - Режим доступу: http://nbuv.gov.ua/UJRN/Nvuumat_2022_40_1_20
| 8. |
Мич І. А. Проблема Дедекінда та класи Поста [Електронний ресурс] / І. А. Мич, В. В. Ніколенко, О. В. Варцаба // Міжнародний науково-технічний журнал Проблеми керування та інформатики. - 2022. - № 5. - С. 42-50. За допомогою класів Поста вивчено булеві функції. Введено поняття характеристики Поста булевої функції та еквівалентних функцій за характеристокою Поста розглянуто 32 замкнені класи, які утворюють куб Поста. У цьому кубі 17 класів є порожніми, а решта 15 непорожніх утворюють решітку Поста. Виведено формули для обчислення кількості функцій у класах Поста залежності від числа змінних x1, x2, ..., xn. Такі формули знайдено для 11 із 15 класів. Проблема обчислення потужностей непорожніх класів тісно пов'язана з проблемою Дедекінда. Задачу знаходження кількості монотонних функцій залежно від числа змінних називають проблемою Дедекінда. У 1897 р. цю задачу розв'язав Дедекінд для n = 4; у 1940 р. Черч - для n = 5; Вард - для n = 6; для n = 7 є розходження в отриманих оцінках. Найбільше значення числа Дедекінда відомо для n = 8. Знайдено оцінки потужностей класів Поста, які надають можливість інакше підійти до розв'язання проблеми Дедекінда. Проведено аналітичні дослідження, за допомогою яких можна для довільної системи булевих функцій від довільної кількості змінних, для яких знайдено характеристики Поста, знайти всі можливі одно-, дво-, три- та чотирифункціональні базиси. Знайдено розподіли булевих функцій від трьох, чотирьох і п'яти змінних за непорожніми класами Поста. Використовуючи наведений аналітичний апарат, можна обчислити число всіх можливих базисів. Наведено приклад знаходження всіх базисів для булевих функцій, арність яких не перевищує п'яти. У цьому прикладі знайдено кількість одно-, дво-, три- та чотирифункціональних базисів.
| 9. |
Мич І. А. Екваціональне описання функціонально неповних булевих алгебр [Електронний ресурс] / І. А. Мич, В. В. Ніколенко, О. В. Варцаба // Науковий вісник Ужгородського університету. Серія : Математика і інформатика. - 2023. - Т. 42, № 1. - С. 193-200. - Режим доступу: http://nbuv.gov.ua/UJRN/Nvuumat_2023_42_1_23
|
|
|